We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...

We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered f...

The concepts of (∈,∈ ∨ q)-fuzzy (implicative, positive implicative and fantastic) filters of BL-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, (∈,∈∨q)-fuzzy (implicative, positiv...

The aim of this paper is to lay a foundation for providing a soft algebraic tool in considering many problems that contain uncertainties. In order to provide these soft algebraic structures, the notion of int-soft positive implicative ideals is introduced, and related properties are investigated. Relations between an int-soft ideal and an int-soft positive implicative ideal are established. Cha...

The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of...

The notion of n-fold positive implicative filter in a lattice implication algebra is introduced, and related properties are investigated. Relations among a filter, an n-fold implicative filter and an n-fold positive implicative filter are stated. Characterizations of n-fold positive implicative filter are given, and the extension property for n-fold positive implicative filter is established.

In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...

in this paper we define the notions of ultra and involution ideals in bck-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative bck-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower bck-semilattice, the notions of...